The PROSPER Toolkit ? Louise

Integrating SVC and HOL with the Prosper Toolkit ?

PROSPER - An Investigation into Software Architecture for Embedded Proof Engines

PROSPER is a recently-completed ESPRIT Framework IV research project that investigated software architectures for component-based, embedded formal verification tools. The aim of the project was to make mechanized formal analysis more accessible in practice by providing a framework for integrating formal proof tools inside other software applications. This paper is an extended abstract of an inv...

Meeting Cholera's Challenge to Haiti and the World: A Joint Statement on Cholera Prevention and Care

Paul Farmer*, Charles Patrick Almazor, Emily T. Bahnsen, Donna Barry, Junior Bazile, Barry R. Bloom, Niranjan Bose, Thomas Brewer, Stephen B. Calderwood, John D. Clemens, Alejandro Cravioto, Eddy Eustache, Gregory Jérôme, Neha Gupta, Jason B. Harris, Howard H. Hiatt, Cassia Holstein, Peter J. Hotez, Louise C. Ivers, Vanessa B. Kerry, Serena P. Koenig, Regina C. LaRocque, Fernet Léandre, Wesler ...

Visual Tools for Temporal Reasoning

We describe a prototype toolkit for reasoning about Graphical Interval Logic (GIL) speciications of concurrent systems. GIL is a visual temporal logic that is intended to be more intuitive and easier to use than standard textual temporal logics. The GIL toolkit helps system designers to create graphical speciications of concurrent systems, to verify properties of those systems from their specii...

Calculation of Positron Distribution in the Presence of a Uniform Magnetic Field for the Improvement of Positron Emission Tomography (PET) Imaging Using GEANT4 Toolkit

Introduction Range and diffusion of positron-emitting radiopharmaceuticals are important parameters for image resolution in positron emission tomography (PET). In this study, GEANT4 toolkit was applied to study positron diffusion in soft tissues with and without a magnetic field for six commonly used isotopes in PET imaging including 11C, 13N, 15O, 18F, 68Ga, and 82Rb. Materials and Methods GEA...